Hybrid Time Delay Petri Nets as a Mathematical Novel Tool to Model Dynamic System with Current Sample Time
نویسندگان
چکیده مقاله:
The existing modeling methods using Petri Nets, have been successfully applied to model and analyze dynamic systems. However, these methods are not capable of modeling all dynamic systems such as systems with the current sample time signals, systems including various subsystems and multi-mode systems. This paper proposes Hybrid Time Delay Petri Nets (HTDPN) to solve the problem. In this approach, discrete and continuous Petri Nets are combined so that the continuous PNs part and the discrete PNs are responsible for past time samples and current sample time, respectively. To evaluate the performance of the proposed tool, it is employed to model a legless piezoelectric capsubot robot as a multi modes system and a $PID$ controller, in which the gains tuned by the Genetic Algorithm are designed for the resulting model by HTDPN. Results show that the proposed method is faster in terms of mathematical calculations which can reduce the simulation time and complexity of complicated systems. It would be observed that the proposed approach makes the $PID$ controller design simpler as well. In addition, a comparative study of capsubot has been performed. Simulation results show that the presented method is encouraging compared to the predictive control, which is used in the literature.
منابع مشابه
Hybrid Petri nets as an approximation to Markovian Petri nets ?
A Markovian Petri net is a stochastic discrete event system frequently used for analysis and performance evaluation purposes. In the past, the fluidification has been proposed as a relaxation technique for avoiding the ”state explosion problem”. Following the same approach, in this paper a hybrid Petri net model is defined as a partial relaxation of an original Markovian Petri net. It is shown ...
متن کاملFluid Survival Tool: A Model Checker for Hybrid Petri Nets
Recently, algorithms for model checking Stochastic Timed Logic (STL) on Hybrid Petri nets with a general one-shot transition (HPNG) have been introduced. Currently, an actual tool is being developed for model checking HPNG models against STL formulas. A graphical user interface (GUI) helps to demonstrate and validate existing algorithms. Additionally, the tool gives insight into model checking ...
متن کاملMathematical Modeling for Homogeneous Tumor with Delay in Time
Due to the properties of tumor cell, the tumor establishes itself in the organ and grows there, so there is a competition between the tumor cells and host cell (normal cells) for nutrients. Evidences show that high dietary phosphorus increases the rate of protein synthesis and thus the cell number. So, other than oxygen, sulfur, the important element that both tumor cells and normal cells need ...
متن کاملRomeo: A Tool for Analyzing Time Petri Nets
In this paper, we present the features of Romeo, a Time Petri Net (TPN) analyzer. The tool Romeo allows state space computation of TPN and on-the-fly model-checking of reachability properties. It performs translations from TPNs to Timed Automata (TAs) that preserve the behavioural semantics (timed bisimilarity) of the TPNs. Besides, our tool also deals with an extension of Time Petri Nets (Sche...
متن کاملModel Checking Bounded Prioritized Time Petri Nets
In a companion paper [BPV06], we investigated the expressiveness of Time Petri Nets extended with Priorities and showed that it is very close to that Timed Automata, in terms of weak timed bisimilarity. As a continuation of this work we investigate here the applicability of the available state space abstractions for Bounded Time Petri Nets to Bounded Prioritized Time Petri Nets. We show in part...
متن کاملTime Petri Nets with Dynamic Firing Dates: Semantics and Applications
We define an extension of time Petri nets such that the time at which a transition can fire, also called its firing date, may be dynamically updated. Our extension provides two mechanisms for updating the timing constraints of a net. First, we propose to change the static time interval of a transition each time it is newly enabled; in this case the new time interval is given as a function of th...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
عنوان ژورنال
دوره 3 شماره 1
صفحات 45- 64
تاریخ انتشار 2018-04-01
با دنبال کردن یک ژورنال هنگامی که شماره جدید این ژورنال منتشر می شود به شما از طریق ایمیل اطلاع داده می شود.
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023